<?php

if(!defined('_HTML_HEADER_')) {
define('_HTML_HEADER_', 1);

function flep_html_header(){
?>
<div id="header">
  <a href="main.php" style="padding-right: 100px;">
    <img src="request.php?res=home.png" alt="">&nbsp;Inicio
  </a>
  <a href="main.php?page=estudiante" style="padding-right: 20px;">Estudiantes</a>
  <a href="main.php?page=pago" style="padding-right: 20px;">Pagos</a>
  <a href="main.php?page=entrada" style="padding-right: 20px;">Entradas</a>
  <a href="main.php?page=notas" style="padding-right: 20px;">Cursos</a>
  <a href="main.php?page=entrada">Docentes</a>
  <div>
    <label>Bienvenid@ <?php echo flep_get($_SESSION['user'], 'nombre'); ?></label>
    <a href="settings.php">Administracion</a>
    <a href="logout.php?logout">Salir</a>
  </div>
</div>
<?php
}

}
?>
